foo c = case c of {_->c} : []
